Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
151	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
152	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
153	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
154	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering
155	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
156	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking
157	Incremental Learning of Fuzzy Basis Function Networks with a Modified Version of Vector Quantization Edwin Lughofer Fuzzy Logic Laboratorium Linz Johannes Kepler University Linz A-4040 Linz, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 02:39:44 Artificial intelligence Statistics Logic Mathematical logic Logic in computer science Fuzzy logic K-means clustering Cluster analysis Vector quantization Fuzzy clustering Fuzzy set Neuro-fuzzy
158	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON POWER SYSTEMS 1 Phase Balancing Using Energy Storage Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2016-02-29 23:17:52 Mathematics Combinatorics Discrete mathematics Algorithm Mathematical logic Theoretical computer science Greedy algorithm Program optimization Electric power quality Mathematical optimization
159	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
160	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language

UPDATE